Computer science

Results: 55984



#Item
121Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-08-25 09:00:40
122Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais  Department of Computer Science

Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2017-08-29 11:32:54
123Meteoritics & Planetary Science 40, Nr 6, 817–Abstract available online at http://meteoritics.org Earth Impact Effects Program: A Web-based computer program for calculating the regional environmental consequ

Meteoritics & Planetary Science 40, Nr 6, 817–Abstract available online at http://meteoritics.org Earth Impact Effects Program: A Web-based computer program for calculating the regional environmental consequ

Add to Reading List

Source URL: www.purdue.edu

Language: English - Date: 2012-08-02 09:20:54
124master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Add to Reading List

Source URL: www.maria-a-schett.net

Language: English - Date: 2016-12-11 09:15:03
125Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University

Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University

Add to Reading List

Source URL: rivoire.cs.sonoma.edu

Language: English - Date: 2017-05-29 18:44:27
126Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Add to Reading List

Source URL: afnom.net

Language: English - Date: 2018-10-16 09:54:50
127Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science  July 2016

Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science July 2016

Add to Reading List

Source URL: www.bowaggoner.com

Language: English - Date: 2017-07-12 06:16:57
    128Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published

    Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2015-04-14 06:30:14
    129Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department  of Computer Science, University of Oxford, United Kingdom

    Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2017-04-04 09:30:36
    130Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

    Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

    Add to Reading List

    Source URL: gdac.uqam.ca

    Language: English - Date: 2017-10-04 01:18:50